#include <stdio.h>

typedef unsigned char *byte_pointer;

void show_bytes(byte_pointer start, int len){
    int i;
    for(i = 0; i < len; i++){
        printf("%.2x ", start[i]);
    }
    printf("\n");
}

void show_int(int x){
    show_bytes((byte_pointer) &x, sizeof(int));
}


signed int main(){
    int x = 12345;
    printf("pointer of x = %p \n",  &x);
    show_int(x);
}

// gcc -o main main.c
